Prehn, Tobias and Rotter, Myron (2019). Immediate Observation in Mediated Population Protocols. Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, Amsterdam, The Netherlands, 26th August 2019. Open Publishing Association, 102-113.

Sébastien Briais and Uwe Nestmann (2007). Open bisimulation, revisited. Theor. Comput. Sci., 236-271.

Sébastien Briais and Uwe Nestmann (2007). A formal semantics for protocol narrations. Theor. Comput. Sci., 484-511.

Flavio Corradini and Uwe Nestmann (2005). EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci., 375-376.

Merro, M and Kleist, J and Nestmann, U (2001). CS report 03/2001 Local pi-Calculus at Work: Mobile Objects as Mobile Processes. REPORT-UNIVERSITY OF SUSSEX COMPUTER SCIENCE

Nestmann, Uwe and Puhlmann, Frank (2008). Business Process Specification and Analysis. Process Algebra for Parallel and Distributed Processing. CRC Press, 129.

Wilhelm-Weidner, Arno (2015). MobiMat – ein Framework zur Mobilisierung von Lehrmaterial. Proceedings of DeLFI Workshops 2015 co-located with 13th e-Learning Conference of the German Computer Society (DeLFI 2015). CEUR-WS.org, 239–243.

Uwe Nestmann and Prakash Panangaden (2003). Guest Editors' Foreword. Nord. J. Comput., 69.

Johannes Borgström and Uwe Nestmann (2005). On bisimulations for the spi calculus. Mathematical Structures in Computer Science, 487-552.

Gorla, Daniele and Nestmann, Uwe (2014). Full abstraction for expressiveness: history, myths and facts. Mathematical Structures in Computer Science, 1-16.

Gorla, Daniele and Nestmann, Uwe (2016). Full abstraction for expressiveness: History, myths and facts. Mathematical Structures in Computer Science, 639–654.

Peters, Kirstin and Nestmann, Uwe (2016). Breaking Symmetries. Mathematical Structures in Computer Science, 1054–1106.

Luca Aceto and Jos C. M. Baeten and Wan Fokkink and Anna Ingólfsdóttir and Uwe Nestmann (2009). Preface. J. Log. Algebr. Program.

Uwe Nestmann and Björn Victor (2005). Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebr. Program., 1-2.

Uwe Nestmann and Hans Hüttel and Josva Kleist and Massimo Merro (2002). Aliasing Models for Mobile Objects. Inf. Comput., 3-33.

Massimo Merro and Josva Kleist and Uwe Nestmann (2002). Mobile Objects as Mobile Processes. Inf. Comput., 195-241.

Uwe Nestmann (2000). What is a "Good" Encoding of Guarded Choice?. Inf. Comput., 287-319.

Uwe Nestmann and Benjamin C. Pierce (2000). Decoding Choice Encodings. Inf. Comput., 1-59.

Nestmann, Uwe (2013). 3.12 Verifying Consensus... Using Process Calculi, State Machines, and Proof Checkers. Formal Verification of Distributed Algorithms, 10.

Sébastien Briais and Uwe Nestmann (2006). Open Bisimulation, Revisited. Electr. Notes Theor. Comput. Sci., 109-123.

Rachele Fuzzati and Uwe Nestmann (2006). Much Ado About Nothing?. Electr. Notes Theor. Comput. Sci., 167-171.

Flavio Corradini and Uwe Nestmann (2004). Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci., 1-3.

Uwe Nestmann and Prakash Panangaden (2002). Preface. Electr. Notes Theor. Comput. Sci.

Uwe Nestmann (1998). On the Expressive Power of Joint Input. Electr. Notes Theor. Comput. Sci.

Uwe Nestmann and Benjamin C. Pierce (1998). Preface. Electr. Notes Theor. Comput. Sci.

Uwe Nestmann (1997). What is a `good' encoding of guarded choice?. Electr. Notes Theor. Comput. Sci.

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2015). Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems. Springer US, 1-28.

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2016). Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems. Springer US, 5–32.

Peters, Kirstin and Nestmann, Uwe (2012). Is it a "Good" Encoding of Mixed Choice? (Technical Report). CoRR

Schneider, Sven and Nestmann, Uwe (2014). Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. CoRR

Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures (Technical Report). CoRR

Peters, Kirstin and Nestmann, Uwe (2010). Breaking Symmetries. CoRR

Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS (Extended Version). CoRR

Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe (2014). Matching in the Pi-Calculus (Technical Report). CoRR

Uwe Nestmann and Björn Victor (1998). Calculi for Mobile Processes - Bibliography and Web Pages. Bulletin of the EATCS

Aceto, Luca and Baeten, Jos CM and Fokkink, Wan and Ingolfsdottir, Anna and Nestmann, Uwe (2008). Applying Concurrency Research in Industry Report on a Strategic Workshop. Bulletin of the EATCS, 113–129.

Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2016). Session Types for Link Failures (Technical Report). arXiv preprint arXiv:1607.07286

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). A Constructive Proof for FLP. Archive of Formal Proofs

Rachele Fuzzati and Massimo Merro and Uwe Nestmann (2007). Distributed Consensus, revisited. Acta Inf., 377-425.

Peters, Kirstin and Wagner, Christoph and Nestmann, Uwe (2019). Taming Concurrency for Verification Using Multiparty Session Types. Theoretical Aspects of Computing – ICTAC 2019. Lecture Notes in Computer Science. Springer, Cham, 196-215.

Wilhelm-Weidner, Arno and Bergner, Nadine (2018). Vergleich von Lernstilen und deren Umsetzungsmöglichkeiten im LMS Moodle. Das Elektronische Schulbuch 2017: Fachdidaktische Anforderungen und Ideen treffen auf Lösungsvorschläge der Informatik. LIT Verlag, 25–37.

Wilhelm-Weidner, Arno and Bergner, Nadine (2018). On Supplementing Theoretical Computer Science Courses Using E-Learning. Proceedings of the 18th Koli Calling International Conference on Computing Education Research. ACM, 14:1–14:10.

Wolf, Alexander and Wilhelm-Weidner, Arno and Nestmann, Uwe (2018). A Case Study of Flipped Classroom for Automata Theory in Secondary Education. Proceedings of the 13th Workshop in Primary and Secondary Computing Education. ACM, 23:1–23:6.

Morten Kühnrich and Uwe Nestmann (2009). On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE, 198-212.

(2009). Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. FMOODS/FORTE. Springer.

Florian Eilers and Uwe Nestmann (2009). Deriving Trust from Experience. Formal Aspects in Security and Trust, 36-50.

(2010). Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Formal Aspects in Security and Trust. Springer.

Wagner, Christoph and Nestmann, Uwe (2014). States in Process Calculi. EXPRESS/SOS, 48-62.

Uwe Nestmann (2006). Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. CONCUR, 52-63.

(2006). CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. CONCUR. Springer.